associated restriction functor

相伴限制函子